Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit
نویسندگان
چکیده
منابع مشابه
Special issue on Rich Vehicle Routing Problems
Editorial The Vehicle Routing Problem (VRP) is a key to efficient transportation management and supply-chain coordination. In broad terms, it deals with the optimal assignment of a set of transportation orders to a fleet of vehicles, and the sequencing of stops for each vehicle. The VRP has a large number of real-life applications and comes in many guises, depending on the type of operation, th...
متن کاملA model study for Eu-rich EuO
In this thesis a model is formulated for Eu-rich EuO. It consists in an extension of the Kondo lattice model (KLM). For the KLM only a few exact statements exist. To those we add a new one, namely the exact mapping of the periodic Anderson model on the antiferromagnetic KLM for arbitrary coupling constant J . Pure EuO is a ferromagnetic semiconductor. Eu-rich EuO exhibits a huge metal–insulator...
متن کاملParsing Morphologically Rich Languages: Introduction to the Special Issue
Parsing is a key task in natural language processing. It involves predicting, for each natural language sentence, an abstract representation of the grammatical entities in the sentence and the relations between these entities. This representation provides an interface to compositional semantics and to the notions of “who did what to whom.” The last two decades have seen great advances in parsin...
متن کاملRich Models
We define a rich model to be one which contains a proper elementary substructure isomorphic to itself. Existence, non-structure, and categoricity theorems for rich models are proved. We show that a countable theory with few rich models is categorical in Ki. We also consider a stronger notion of richness, and in discussing it prove: "If T is an unstable theory, then for any saturated model M of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Informatica
سال: 2016
ISSN: 0001-5903,1432-0525
DOI: 10.1007/s00236-016-0259-0